Ion diode logics for pH control
نویسندگان
چکیده
منابع مشابه
Ion diode logics for pH control.
Electronic control over the generation, transport, and delivery of ions is useful in order to regulate reactions, functions, and processes in various chemical and biological systems. Different kinds of ion diodes and transistors that exhibit non-linear current versus voltage characteristics have been explored to generate chemical gradients and signals. Bipolar membranes (BMs) exhibit both ion c...
متن کاملNew Logics for Intelligent Control
New automatic theorem proving (ATP) techniques for application in control syst~nR and artificial intelligence is proposed. We consider new logical languages in descrip~ive and constructive semantics. These languages censist of 1-st c~der fc~muins with type quantifie~s. We de’he logical calculi of classical and intuitionistic types as well as strategies of automated reasoning. In. formation on r...
متن کاملModal Logics for Timed Control
In this paper we use the timed modal logic Lν to specify control objectives for timed plants. We show that the control problem for a large class of objectives can be reduced to a model-checking problem for an extension (L ν ) of the logic Lν with a new modality. More precisely we define a fragment of Lν , namely L det ν , such that any control objective of L ν can be translated into a L cont ν ...
متن کاملLogics for Access Control: A Conditional Approach
In this paper we provide a reconstruction of access control logics within constructive conditional logics, by regarding the assertion A says φ, whose intended meaning is that principal A says that φ, as a conditional implication. We identify the conditional axioms needed to capture the basic properties of the “says” operator and to provide a proper definition of boolean principals. Most of thes...
متن کاملUsing Temporal Logics for Planning and Control
Traditionally, planning work in Artificial Intelligence has focused on primitive actions and instantaneous states. Innovative work has been done on composing primitive actions so as to bring about desired final states. The thesis being advanced here is that instead of simply focusing on primitive actions, it is also useful to use representation and reasoning tools whose primitive objects are se...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Lab on a Chip
سال: 2012
ISSN: 1473-0197,1473-0189
DOI: 10.1039/c2lc40093f